# shadow
v := "hello"
d if {
    v := "world" # define a rule-scope variable shadows the global one
    v == "hello"
} # fail

array := ["a","b","c"]
array_has_a if {
    array[i] == "a" # success
}
j := 2
array_has_b_wrong if {
    array[j] == "b" # failure, j is 2
}
array_has_b_correct if {
    some j
    array[j] == "b" # success, local j shadows global one
}
